Bit-Vectors
There are no implementation-dependent features for bit-vectors.